From: Colin Watson Date: Mon, 13 Jan 2014 12:13:27 +0000 (+0000) Subject: Adjust efi_distributor for some distributions X-Git-Tag: archive/raspbian/2.12-9+rpi1^2~129 X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https://%22Program/%22http:/www.example.com/cgi/%22https:/%22Program?a=commitdiff_plain;h=dbc9c8f8f7ca0ee35a4c83e12fc4438f8e28ac65;p=grub2.git Adjust efi_distributor for some distributions This is not a very good approach, and certainly not sanely upstreamable; we probably need to split GRUB_DISTRIBUTOR into a couple of different variables. Bug-Ubuntu: https://bugs.launchpad.net/bugs/1242417 Bug-Debian: https://bugs.debian.org/932966 Forwarded: not-needed Last-Update: 2019-08-06 Patch-Name: install-efi-adjust-distributor.patch Gbp-Pq: Name install-efi-adjust-distributor.patch --- diff --git a/util/grub-install.c b/util/grub-install.c index dc3813b..1f69187 100644 --- a/util/grub-install.c +++ b/util/grub-install.c @@ -1141,6 +1141,10 @@ main (int argc, char *argv[]) */ char *t; efi_distributor = bootloader_id; + if (strcmp (efi_distributor, "kubuntu") == 0) + efi_distributor = "ubuntu"; + else if (strcmp (efi_distributor, "devuan") == 0) + efi_distributor = "debian"; if (removable) { /* The specification makes stricter requirements of removable